Honeycomb theorem